Что (кто) такое higher-order objects - определение

FORM OF PREDICATE LOGIC THAT IS DISTINGUISHED FROM FIRST-ORDER LOGIC BY ADDITIONAL QUANTIFIERS AND, SOMETIMES, STRONGER SEMANTICS

Higher-order predicate; Higher order logic; Higher order logics; Ordered logic; Higher-order logics; High order logic; High-order logic; Order (logic); Semantics of higher-order logic

Higher-order thinking

EDUCATION CONCEPT ARGUING THAT SOME TYPES OF LEARNING REQUIRE MORE COGNITIVE PROCESSING BUT ALSO HAVE MORE GENERALIZED BENEFITS

Higher order thinking skills; Higher order thinking; High Order Thinking Skills

Higher-order thinking, known as higher order thinking skills (HOTS), is a concept of education reform based on learning taxonomies (such as Bloom's taxonomy). The idea is that some types of learning require more cognitive processing than others, but also have more generalized benefits.

https://en.wikipedia.org/wiki/Higher-order_thinking

Higher-order logic

In mathematics and logic, a higher-order logic is a form of predicate logic that is distinguished from first-order logic by additional quantifiers and, sometimes, stronger semantics. Higher-order logics with their standard semantics are more expressive, but their model-theoretic properties are less well-behaved than those of first-order logic.

https://en.wikipedia.org/wiki/Higher-order_logic

Higher-order volition

PHILOSOPHICAL TERM

Second-order desire; Second order desire; Higher order desire; Higher order desires; First order desires; Higher-order desire; Higher-order volitions; First-order volition; First order desire; First-order desire

Higher-order volitions (or higher-order desire), as opposed to action-determining volitions, are volitions about volitions. Higher-order volitions are potentially more often guided by long-term convictions and reasoning.

https://en.wikipedia.org/wiki/Higher-order_volition

Википедия

Higher-order logic

In mathematics and logic, a higher-order logic is a form of predicate logic that is distinguished from first-order logic by additional quantifiers and, sometimes, stronger semantics. Higher-order logics with their standard semantics are more expressive, but their model-theoretic properties are less well-behaved than those of first-order logic.

The term "higher-order logic", abbreviated as HOL, is commonly used to mean higher-order simple predicate logic. Here "simple" indicates that the underlying type theory is the theory of simple types, also called the simple theory of types (see Type theory). Leon Chwistek and Frank P. Ramsey proposed this as a simplification of the complicated and clumsy ramified theory of types specified in the Principia Mathematica by Alfred North Whitehead and Bertrand Russell. Simple types is nowadays sometimes also meant to exclude polymorphic and dependent types.

https://en.wikipedia.org/wiki/Higher-order logic